Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/

Source URL: smt2014.it.uu.se

Tensority: an ASIC-friendly Proof of Work Algorithm Based on Tensor Bytom Foundation Email: April 17, 2018 Abstract

Source URL: bytom.io

• Search algorithms
• Statistical randomness
• Matrix
• Probability distribution
• Hash function
• Bitcoin
• Scrypt
• Random variable
• Information retrieval
• Information science
• Cryptography

FACILITIES & PLANT MANAGEMENT WORK MANAGEMENT “

Source URL: www.teamdynamix.com

• Information technology management
• Management
• Economy
• Business
• Web portal
• Project management
• Business process management
• Project portfolio management
• Collaborative workflow
• Enterprise content management

CURVES OF LOW DEGREES IN FANO VARIETIES OLIVIER DEBARRE Abstract. We work over the complex numbers. Fano manifolds are smooth projective varieties whose canonical bundle is antiample. In dimensions at most 3, they are al

Source URL: www.math.ens.fr

• Abstract algebra
• Algebra
• Geometry
• Algebraic geometry
• Fano variety
• Birational geometry
• Divisor
• Projective variety
• Coherent sheaf
• Hodge structure
• Cohomology
• Ample line bundle

Time-memory Trade-offs for Near-collisions Ga¨etan Leurent UCL Crypto Group Abstract. In this work we consider generic algorithms to find nearcollisions for a hash function. If we consider o

Source URL: who.rocq.inria.fr

• Search algorithms
• Information retrieval
• Information science
• Cryptography
• Hashing
• Cryptographic hash functions
• Error detection and correction
• Hash function
• Hash table
• Hopf decomposition
• Compound of twelve pentagonal antiprisms with rotational freedom

How Does Enjin Coin Work? A simple, step-by-step explanation of Enjin Coin (ENJ) utilisation in video games. Acquisition Game developers acquire

Source URL: prkit.co

CALL FOR PAPERS - RESEARCH TRACK AGH and collaborating institutions invite you to submit your work to Lambda Days 2019 Research Track. After the conference the reviews will be finalized and accepted papers will appear as

Source URL: s3.amazonaws.com

• Computer science
• Software engineering
• AGH
• Janusz Kacprzyk
• Philip Wadler
• Functional programming
• Computing

Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

Source URL: parallel.princeton.edu

• Assistive technology
• Tile
• Manycore processors

Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM)

Source URL: arieg.bitbucket.io

c ACM, 2012. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ⃝ Not for redistribution. The definitive version was published in The International Conference on F

Source URL: ndmitchell.com

• Computer programming
• Software engineering
• Computing
• Build automation
• Compiling tools
• Software design patterns
• C++
• Make
• Monad
• Apache Ant
• Include directive
• Haskell